Abduction in equilibrium logic
نویسندگان
چکیده
Equilibrium logic is a system of nonmonotonic reasoning that generalises answer set semantics for logic program~ to a syntactically broader class of theories. The paper discusses the problem of abduction for equilibrium logic, making use of tableaux systems for equilibrium entailment presented in (Pearce, de Guzm(m, Valverde 2000b). An algorithm for generating potential abductive explanations is presented in outline. This work can be considered as extending current frameworks of ahductive logic programming in the answer set tradition and at the same time as extending previons work on abduction using semantic tableaux to the situation of a nonmonotonic underlying logic.
منابع مشابه
A classification of abduction: abduction for logic programming
Abduction is a methodology of scienti c researches. Peirce showed three types of abduction, and expressed them by one syllogism. Recently various researches on abduction or abductive logic have been developed in the elds of automated reasoning and machine learning. In order to systematically understand such researches and to clearly discuss abduction, this paper classi es abduction into ve type...
متن کاملPractical Tabled Abduction in Logic Programs
Abduction has by now been employed in various applications using logic programming. But abduction can be costly to perform, if abductive solutions are not tabled, and their reuse allowed even in distinct contexts. Current Prologlike systems, with their tabling mechanisms, are mature enough to facilitate the introduction of tabled abduction into them. This poses a problem of how to actually reus...
متن کاملAbducing Priorities to Derive Intended Conclusions
We introduce a framework for finding preference information to derive desired conclusions in nonmonotonic reasoning. A new abductive framework called preference abduction enables us to infer an appropriate set of priorities to explain the given observation skeptically, thereby resolving the multiple extension problem in the answer set semantics for extended logic programs. Preference abduction ...
متن کاملTabled Abduction in Logic Programs
Abduction has been on the back burner in logic programming, as abduction can be too difficult to implement, and costly to perform, in particular if abductive solutions are not tabled for reuse. On the other hand, current Prolog systems, with their tabling mechanisms, are mature enough to facilitate the specific introduction of tabling abductive solutions (tabled abduction) into them. We concept...
متن کاملAbductive Logic Programming 1
This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; and we introduce an argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure...
متن کامل